In mathematics, combinatorial topology was an older name for algebraic topology, dating from the time when topological invariants of spaces (for example the Betti numbers) were regarded as derived from combinatorial decompositions such as simplicial complexes. After the proof of the simplicial approximation theorem this approach provided rigour.